#ifndef __ATL_KSYSCALL_H__
#define __ATL_KSYSCALL_H__
#include <syscall.h>
void ksyscall_dispatch(syscall_parameter_block * scb);
#endif